#include "../kernel/types.h"
#include "../kernel/stat.h"
#include "user.h"
int main(int argc, char *argv[]) {
  int time;
  if (argc <= 1) {
    fprintf(2, "sleep: need one arg for sleep time");
    exit(1);
  }
  time = atoi(argv[1]);
  sleep(time);
  exit(0);
}
